This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suiteThe book is discussing topics such as autonomy, incentives and trust, overlays and virtualization, load balancing and fault ...
Lire la suiteThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suiteThe book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
Lire la suiteThis book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Lire la suiteThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Lire la suiteThis book is organized in topical sections on database security, trust management, privacy protection, and security and privacy ...
Lire la suiteThe present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
Lire la suiteThis book is organized in topical sections on Implementations, Protocols, Encryption, Primitives, Signatures, Hardware and ...
Lire la suiteTelecommunications networks are a critical component of the economic and social infrastructures in which we live. Each day, ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...
Lire la suiteThis book is organized in topical sections on peer-to-peer systems, overlay networks as well as resource and service management.
Lire la suiteSemantic Grid: Model, Methodology, and Applications introduces to the science, core technologies, and killer applications. ...
Lire la suiteThe book cover topics such as semantic analysis and multimedia, semantic retrieval and multimedia, semantic metadata management ...
Lire la suiteThis book cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic ...
Lire la suiteThis book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Lire la suiteThe book features valuable discussions of relevant concepts that examine the various approaches which define emerging theoretical ...
Lire la suiteThe book is organized in topical sections on enterprise system dependability, software service availability, service availability ...
Lire la suiteThe book present original research in the field of service oriented computing, from theoretical and foundational results ...
Lire la suiteThe book address a range of topics at the intersection of service-oriented computing, semantic technology, and intelligent ...
Lire la suite